Nonlinear Instability of the Two-Dimensional StriationModel About Smooth Steady States

The two-dimensional striation model consists of a nonlinear system of PDE’s which arises in the modeling of the ionospheric plasma. The local-in-time existence of strong solutions is first proved using Banach’s fixed point theorem. Then, under physically relevant assumptions, the system is shown to be nonlinearly unstable as soon as it is linearly unstable. Moreover, the instability occurs before the possible blow-up time of the solution. The proof relies on an earlier work of Hwang and Guo (2003). The first step of the proof is to investigate under which conditions the linearized system is unstable and to prove that its spectrum is bounded, by means of a variational formulation. The second one consists in constructing a family of solutions depending on the parameter measuring the smallness of the perturbation to the steady-state. Thanks to the boundedness of the linearized spectrum, this family of solutions is shown to be unstable by means of a power series expansion in .